Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Реферативна база даних (3)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Guba A$<.>)
Загальна кількість знайдених документів : 4
Представлено документи з 1 до 4
1.

Letichevsky А. 
Deductive verification of requirements for event-driven architecture [Електронний ресурс] / А. Letichevsky, О. Letychevskyi, V. Peschanenko, A. Guba // Проблеми програмування. - 2013. - № 2. - С. 54-61. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2013_2_8
The current paper presents the technology of processing of requirements for systems with event-driven architecture. The technology consists of the stages of formalization, formal verification and conversion to design specifications. The formalization is the formal description of events as formal specifications called basic protocols. The consistency and completeness of basic protocols, safety properties and user-defined properties are verified. The deductive tools for dynamic and static checking are used for detection of properties violation. The method of enlargement allows reducing the complexity of proving and solving. Formal presentation of requirements allows converting them to SDL\UML specifications and generating the test suite. The technology is realized in IMS system and applied in more than 50 projects of telecommunication, networking, microprocessing and automotive systems.
Попередній перегляд:   Завантажити - 488.435 Kb    Зміст випуску    Реферативна БД     Цитування
2.

Guba A. A. 
Traversal of arbitrary sequences of UCM symbolic transitions for test generation [Електронний ресурс] / A. A. Guba // Проблеми програмування. - 2014. - № 2-3. - С. 107-111. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_15
Запропоновано метод обходу високорівневих багатопотокових моделей, які формалізовані мовою UCM. Розглянуто переваги та недоліки даного підходу у порівнянні з існуючими. Представлений метод дозволяє обходити простір станів моделей UCM, використовуючи символьне розв'язання та доведення. Описано генерацію символьних трас, які використовуються для тестування програмних систем.
Попередній перегляд:   Завантажити - 454.204 Kb    Зміст випуску    Реферативна БД     Цитування
3.

Cherep А. 
Human resources management enterprise [Електронний ресурс] / А. Cherep, A. Guba // Вісник Запорізького національного університету. Економічні науки. - 2014. - № 1. - С. 62-72. - Режим доступу: http://nbuv.gov.ua/UJRN/Vznu_eco_2014_1_10
Попередній перегляд:   Завантажити - 521.68 Kb    Зміст випуску     Цитування
4.

Kozina Zh. L 
Methods of technical and tactical training basketball players with hearing impairments using innovative technologies [Електронний ресурс] / Zh. L Kozina, I. N. Sobko, A. I. Prokopenko, A. V. Guba, S. S. Iermakov, Krzysztof Prusik, Mirosława. Cieślicka // Physical education of students. - 2014. - № 3. - С. 30-40. - Режим доступу: http://nbuv.gov.ua/UJRN/PhVSTSE_2014_3_6
Попередній перегляд:   Завантажити - 825.65 Kb    Зміст випуску     Цитування
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського